Program logic - PDFSEARCH.IO - Document Search Engine

Program logic
Results: 2056

#	Item
251	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 07:03:26 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming
252	Focus Report 2012: Effect assessment of regional film funds – analysis and guidelines for further use Cine-Regio February 2012 Add to Reading List Source URL: www.manto.dk Language: English - Date: 2013-10-04 12:09:19 Program evaluation Evaluation methods Evaluation Logic model
253	PDF Document Add to Reading List Source URL: www.iuhpe.org Language: English - Date: 2013-07-31 12:23:54 Health economics Health policy Demography Program evaluation Logic model Public health Population health Evaluation Social determinants of health Health Health promotion Evaluation methods
254	A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Pablo Chico de Guzm´an1 Manuel Carro1 Manuel V. Hermenegildo1,2 {mcarro,herme}@fi.upm.es Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2009-07-09 07:03:26 Prolog XSB Logic programming Logic Continuation Scheme Software engineering Programming language theory Computer programming
255	PDF Document Add to Reading List Source URL: www.rmcg.com.au Language: English - Date: 2012-07-18 00:29:43 Program evaluation Participatory evaluation Impact evaluation Logic model Evaluation Evaluation methods Impact assessment
256	PDF Document Add to Reading List Source URL: www.innovation.cc Language: English - Date: 2015-03-25 18:01:53 Methodology Impact assessment Program evaluation Program management Quality management Nursing Logic model Empowerment evaluation Evaluation Evaluation methods Sociology
257	Abstraction-Carrying Code: a Model for Mobile Code Safety Abstraction-Carrying Code: a Model for Mobile Code Safety Add to Reading List Source URL: www.clip.dia.fi.upm.es Language: English - Date: 2009-07-09 09:15:07 Computing Formal methods Logic in computer science Program analysis Abstract interpretation Formal verification Abstraction Type system Type safety Software engineering Programming language theory Type theory
258	PDF Document Add to Reading List Source URL: www.southeastevaluation.org Language: English - Date: 2014-12-13 01:58:28 Sociology Ethics Program evaluation American Evaluation Association Logic model Office of Program Policy Analysis and Government Accountability Empowerment evaluation Evaluation methods Evaluation Impact assessment
259	The COST IC0701 Verification Competition 2011 Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliˆatre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude March´e, Rosemary Mona Add to Reading List Source URL: se.inf.ethz.ch Language: English - Date: 2012-07-16 03:37:08 Procedural programming languages Formal methods Program logic Predicate transformer semantics Recursion KeY Binary heap Termination analysis ALGOL 68 Software engineering Computing Computer programming
260	ADVOCACY EVALUATION Monitoring and Evaluation for Human Rights Organizations: Add to Reading List Source URL: www.evaluationinnovation.org Language: English - Date: 2014-01-20 09:08:47 Sociology Impact assessment Human rights Advocacy evaluation Systems analysis Logic model Advocacy Empowerment evaluation Program evaluation Evaluation methods Evaluation Ethics

UPDATE